∀(x : Natural) → _
